partielle integration